<html>
<head><meta charset="utf-8"><title>dyn implied bounds · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html">dyn implied bounds</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="195630884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195630884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195630884">(Apr 28 2020 at 21:41)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="131694">@scalexm</span> -- are you around by any chance?</p>



<a name="195631024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195631024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195631024">(Apr 28 2020 at 21:42)</a>:</h4>
<p>I'm reading <a href="https://github.com/rust-lang-nursery/chalk/issues/203" title="https://github.com/rust-lang-nursery/chalk/issues/203">chalk#203</a> again, and I'm wondering about this line</p>



<a name="195631047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195631047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195631047">(Apr 28 2020 at 21:43)</a>:</h4>
<p>when you write that we "generate" the following impl</p>



<a name="195631056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195631056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195631056">(Apr 28 2020 at 21:43)</a>:</h4>
<p>I guess you realy meant that as a <code>Implemented</code> rule</p>



<a name="195631077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195631077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195631077">(Apr 28 2020 at 21:43)</a>:</h4>
<p>and that makes some sense, because the compiler must generate actual <em>dynamic dispatch</em> code, too</p>



<a name="195685321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195685321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195685321">(Apr 29 2020 at 09:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> that’s what I meant indeed</p>



<a name="195859039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/195859039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#195859039">(Apr 30 2020 at 15:47)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I've updated <a href="https://github.com/rust-lang-nursery/chalk/issues/415" title="https://github.com/rust-lang-nursery/chalk/issues/415">chalk#415</a>, can you review again?</p>



<a name="196216304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/196216304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#196216304">(May 04 2020 at 17:54)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> take a look</p>



<a name="196216318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/196216318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#196216318">(May 04 2020 at 17:54)</a>:</h4>
<p>I left a few nits but I could merge today if you can resolve them</p>



<a name="196219014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/196219014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#196219014">(May 04 2020 at 18:14)</a>:</h4>
<p>Done</p>



<a name="197203206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/197203206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#197203206">(May 11 2020 at 20:52)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> got a small bug fix, if you have time: <a href="https://github.com/rust-lang/chalk/issues/446">rust-lang/chalk#446</a></p>



<a name="197211979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/dyn%20implied%20bounds/near/197211979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/dyn.20implied.20bounds.html#197211979">(May 11 2020 at 22:19)</a>:</h4>
<p>merged</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>